The φ-harmonic approximation and the regularity of φ-harmonic maps

Regularity of Harmonic Maps

Regularity of Dirac-harmonic maps

For any n-dimensional compact spin Riemannian manifold M with a given spin structure and a spinor bundle ΣM , and any compact Riemannian manifold N , we show an ǫ-regularity theorem for weakly Dirac-harmonic maps (φ, ψ) : M ⊗ΣM → N ⊗ φ∗TN . As a consequence, any weakly Dirac-harmonic map is proven to be smooth when n = 2. A weak convergence theorem for approximate Dirac-harmonic maps is establi...

Regularity for n-Harmonic Maps

§

Boundary Regularity and the Dirichlet Problem for Harmonic Maps

In a previous paper [10] we developed an interior regularity theory for energy minimizing harmonic maps into Riemannian manifolds. In the first two sections of this paper we prove boundary regularity for energy minimizing maps with prescribed Dirichlet boundary condition. We show that such maps are regular in a full neighborhood of the boundary, assuming appropriate regularity on the manifolds,...

φ φ φ φ φ φ k From Max - SAT to Min - UNSAT : Insights and Applications

This report describes a strong connection between maximum satisfiability and minimally-unsatisfiable subfor-mulas of any constraint system, as well as techniques for exploiting it. Focusing on CNF formulas, we explore this relationship and present novel algorithms for extracting minimally-unsatisfiable subformulas, including one that finds all such subformulas. We present experimental results s...